To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layersof the Semantic Web, by comparing two options: 1) using OWL and its ruleextension SWRL to develop an integrated ontology/rule language, and 2) layeringrules on top of an ontology with RuleML and OWL. Toward this end, we aredeveloping the SWORIER system, which enables efficient automated reasoning onontologies and rules, by translating all of them into Prolog and adding a setof general rules that properly capture the semantics of OWL. We have alsoenabled the user to make dynamic changes on the fly, at run time. This workaddresses several of the concerns expressed in previous work, such as negation,complementary classes, disjunctive heads, and cardinality, and it discussesalternative approaches for dealing with inconsistencies in the knowledge base.In addition, for efficiency, we implemented techniques calledextensionalization, avoiding reanalysis, and code minimization.
展开▼